
(eq (match (+ 1 2)
          ( 3  't)
          ( _  'nil))
   't)
